COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00010 ENDMK
C⊗;
.DEVICE XGP;
.turn on "%";
.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;⊃
.FONT 1 "BASL30";		<<normal font>>
.FONT 2 "BASB30";		<<headings>>
.FONT 3 "ASI30.FNT[LSP,JRA]"	<<mexpr font:basi30+>>
.font 4 "grk30"
.double space
.group skip  6
.once center
%2RESUME OF JOHN R. ALLEN%1
.GROUP SKIP 4
.begin tabit1(20);
%2BORN:%1\September 2, 1937

%2ADDRESS:%1\18215 Bayview Drive
    %1\Los Gatos, Ca 95030

%2PHONE:%1\(408) 353-2227
.end
.begin tabit1(10); 

%2EDUCATION:%1
\B.A. in Mathematics (with honors),
\Michigan Technological University, Houghton Michigan, 1959

\M.A. in Mathematics, 
\University of California, Santa Barbara, California, 1962

\Graduate work in Computer Science, 
\Stanford University, Stanford, California, 1966-1969
.end

.begin tabit2(7,17)
%2EXPERIENCE:%1
\1959-1960 \Burroughs Corp.
\\Sierra Madre, California
\\Mathematical programmer
\\(machine language programming of various mathematical 
\\ problems)

\1963-1965\General Motors Research Labs
\\Goleta, California
\\mathematical and systems programmer
\\(general mathematical programming; 
\\ development of LISP for IBM7040;
\\ maintenance and modification of 7040 operating system)

\1965-1970\Stanford University
\\Stanford, California
\\ 1965-1966 systems programmer, Stanford AI Lab
\\ (designed and developed the first AI Lab time-sharing system;
\\  implemented the Culler-Fried system on this machine;
\\  maintained and extended PDP-6 operating systems)

\\ 1966-1968 student research assistant, Stanford AI Lab
\\ (developed Stanford LISP, and maintained system;
\\  designed and implemented the Stanford LISP editor;
\\  designed and implemented the arbitrary-precision numeric 
\\   package and  the LISP interface to Fortran and 
\\   machine-language subsystems;
\\  Research in resolution theory and interactive theorem-proving)

\\ 1969-1970 systems programmer and researcher, Stanford 
\\  Istitute for Mathematical Studies in the Social Sciences
\\ (continuing research on theorem-proving, and applications to
\\  educational areas; general consultant on PDP-10 system.

\1970-1972\University of California
\\Computer Science Department
\\Los Angeles, California
\\Assistant professor of computer science
\\(taught courses in basic machine and systems organization,
\\  data structures, compiler construction, and semantics of
\\  programming languages. 
\\ Organized graduate seminar on extensible
\\  languages, correctness, and language design
\\ Advising of graduate and undergraduate students.
\\ Research in theorem-proving and language design)

\1972-1975\Stanford University
\\Stanford, California
\\Research Associate in Computer Science
\\(theory and applications of theorem-proving, automatic
\\ programming and program verification)

\1975-1978\Hewlett-Packard
\\Research Laboratories
\\Palo Alto, California
\\Member, Technical Staff
\\(Specify a machine architecture which would be attractive
\\  to the AI community; 
\\ educate the management and staff about the needs and 
\\  expectations of the AI community;
\\ outline applications of AI technology to future
\\  products;
\\ specify the architecture for a LISP processor;
\\ specify a bit-mapped terminal system which would support
\\  a multiple-font document production system;
\\ design and implement an operating system  and full screen
\\  text editing system for a prototype HP9845 -- a desktop
\\  16-bit dual processor computer with bit-mapped display;
\\ specify a LISP implementation for this desktop machine)

%2OTHER EXPERIENCE:%1
\1973 and 1974, Guest Lecturer, 
\\Information Sciences Department,
\\University of California,
\\Santa Cruz, California
\\(teaching short courses on LISP and abstract data structures
\\ in their graduate workshop))

\1975 and 1976, Lecturer,
\\Mathematics Department
\\San Jose State University
\\San Jose, California
\\(Developed and taught one-semester graduate courses using
\\  my book, %3Anatomy of LISP%1;
\\ organized and taught graduate seminar on the mathematical
\\  theory of computation;
\\ specified and advised thesis work of a graduate mathematics 
\\  student)

%2CURRENT ACTIVITY:%1
\Organizing an international LISP conference for 1980.

\Writing a series of articles on LISP for %3BYTE%1 magazine
\\A  LISP vs PASCAL  article for the Language Forum

\\An extended series of articles about LISP and its 
\\ implementations for %4m%1-computers.

\\Preparation of a %3BYTE%1 issue (August 1979) on LISP-related
\\ activities in computer science: e.g. applications, implementations,
\\ extensions, and theory.
.end
.next page
%2PUBLICATIONS:%1\
%2HONORS:%1\
%2INTERESTS AND GOALS%1\
.END
.next page
foo